[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 192 178 86 195 752 153 207 175

N.S.

1 0.96 0.89 0.43 0.97 3.74 0.76 1.03 0.87

time (sec)

N/A 0.367 0.135 4.292 0.281 0.369 0.524 0.292 0.268

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 183 175 84 192 743 133 180 173

N.S.

1 0.93 0.89 0.43 0.97 3.77 0.68 0.91 0.88

time (sec)

N/A 0.354 0.132 4.108 0.273 0.307 0.421 0.291 0.263

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

227 208 193 159 199 776 162 204 185

N.S.

1 0.92 0.85 0.70 0.88 3.42 0.71 0.90 0.81

time (sec)

N/A 0.390 0.163 4.261 0.274 0.294 0.482 0.307 7.014

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

227 205 189 158 201 812 143 209 188

N.S.

1 0.90 0.83 0.70 0.89 3.58 0.63 0.92 0.83

time (sec)

N/A 0.387 0.154 4.089 0.292 0.270 0.498 0.288 6.871

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 225 214 175 221 366 189 254 240

N.S.

1 0.91 0.87 0.71 0.90 1.49 0.77 1.03 0.98

time (sec)

N/A 0.420 0.193 4.273 0.283 0.274 0.568 0.283 6.862

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 222 210 174 221 384 173 229 207

N.S.

1 0.90 0.85 0.71 0.90 1.56 0.70 0.93 0.84

time (sec)

N/A 0.422 0.218 4.134 0.285 0.273 0.587 0.282 6.826

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 66 66 65 68 72 0 70 68

N.S.

1 0.94 0.94 0.93 0.97 1.03 0.00 1.00 0.97

time (sec)

N/A 0.230 0.036 4.154 0.217 0.368 0.000 0.288 7.044

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

301 316 242 228 324 273 0 311 1751

N.S.

1 1.05 0.80 0.76 1.08 0.91 0.00 1.03 5.82

time (sec)

N/A 0.490 0.153 4.212 0.323 0.545 0.000 0.287 16.266

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

296 271 238 225 349 228 0 308 873

N.S.

1 0.92 0.80 0.76 1.18 0.77 0.00 1.04 2.95

time (sec)

N/A 0.484 0.120 4.524 0.281 0.291 0.000 0.287 1.926

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 52 43 43 49 42 144 51 51

N.S.

1 0.98 0.81 0.81 0.92 0.79 2.72 0.96 0.96

time (sec)

N/A 0.214 0.022 4.160 0.198 0.301 5.027 0.284 7.081

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

288 258 224 207 289 244 0 286 1364

N.S.

1 0.90 0.78 0.72 1.00 0.85 0.00 0.99 4.74

time (sec)

N/A 0.439 0.085 4.291 0.286 0.271 0.000 0.301 14.053

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

288 248 224 207 317 199 342 278 1265

N.S.

1 0.86 0.78 0.72 1.10 0.69 1.19 0.97 4.39

time (sec)

N/A 0.423 0.087 4.571 0.294 0.269 131.427 0.294 13.021

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 44 31 32 41 31 138 51 602

N.S.

1 0.98 0.69 0.71 0.91 0.69 3.07 1.13 13.38

time (sec)

N/A 0.176 0.019 4.160 0.203 0.268 0.726 0.298 0.253

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

288 258 224 207 265 201 515 290 982

N.S.

1 0.90 0.78 0.72 0.92 0.70 1.79 1.01 3.41

time (sec)

N/A 0.419 0.099 4.168 0.285 0.280 69.176 0.290 10.072

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

288 248 224 207 293 254 0 278 1364

N.S.

1 0.86 0.78 0.72 1.02 0.88 0.00 0.97 4.74

time (sec)

N/A 0.400 0.103 4.238 0.269 0.315 0.000 0.305 13.944

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 63 54 55 61 54 0 71 58

N.S.

1 1.02 0.87 0.89 0.98 0.87 0.00 1.15 0.94

time (sec)

N/A 0.229 0.031 4.138 0.198 0.483 0.000 0.297 7.310

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

299 314 244 228 300 238 0 305 716

N.S.

1 1.05 0.82 0.76 1.00 0.80 0.00 1.02 2.39

time (sec)

N/A 0.459 0.141 4.206 0.283 0.304 0.000 0.294 8.432

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

301 276 259 228 328 301 0 309 1829

N.S.

1 0.92 0.86 0.76 1.09 1.00 0.00 1.03 6.08

time (sec)

N/A 0.475 0.169 4.454 0.278 0.778 0.000 0.315 16.873

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 86 88 82 87 99 0 111 87

N.S.

1 0.99 1.01 0.94 1.00 1.14 0.00 1.28 1.00

time (sec)

N/A 0.263 0.044 4.310 0.186 1.343 0.000 0.290 7.682

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

318 355 282 248 341 305 0 328 1734

N.S.

1 1.12 0.89 0.78 1.07 0.96 0.00 1.03 5.45

time (sec)

N/A 0.553 0.213 4.377 0.265 0.786 0.000 0.295 16.468

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

321 309 282 248 369 356 0 336 1860

N.S.

1 0.96 0.88 0.77 1.15 1.11 0.00 1.05 5.79

time (sec)

N/A 0.593 0.209 4.377 0.281 0.336 0.000 0.289 16.539

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 117 115 114 117 127 0 165 118

N.S.

1 0.98 0.97 0.96 0.98 1.07 0.00 1.39 0.99

time (sec)

N/A 0.300 0.060 4.175 0.189 3.729 0.000 0.286 7.641

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

352 391 304 279 376 332 0 377 1814

N.S.

1 1.11 0.86 0.79 1.07 0.94 0.00 1.07 5.15

time (sec)

N/A 0.648 0.261 4.365 0.275 0.404 0.000 0.290 16.927

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 137 1077 205 851 5418 1331 559

N.S.

1 1.00 0.93 7.28 1.39 5.75 36.61 8.99 3.78

time (sec)

N/A 0.319 0.558 4.737 0.197 0.274 1.651 0.333 7.625

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 66 261 91 215 1057 332 177

N.S.

1 1.00 0.93 3.68 1.28 3.03 14.89 4.68 2.49

time (sec)

N/A 0.220 0.146 4.073 0.195 0.261 0.602 0.283 6.906

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 42 53 53 92 410 143 95

N.S.

1 1.00 0.93 1.18 1.18 2.04 9.11 3.18 2.11

time (sec)

N/A 0.193 0.070 0.085 0.190 0.270 0.399 0.270 6.839

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

66 66 55 0 0 0 187 0 0

N.S.

1 1.00 0.83 0.00 0.00 0.00 2.83 0.00 0.00

time (sec)

N/A 0.203 0.134 0.000 0.000 0.000 7.587 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

93 93 80 0 0 0 1049 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 11.28 0.00 0.00

time (sec)

N/A 0.217 0.224 0.000 0.000 0.000 140.649 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

93 93 80 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.216 0.383 0.000 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

112 112 86 0 0 0 0 0 0

N.S.

1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.230 0.363 0.000 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 35 28 27 32 46 29 31

N.S.

1 1.00 0.90 0.72 0.69 0.82 1.18 0.74 0.79

time (sec)

N/A 0.175 0.033 0.271 0.198 0.240 0.976 0.301 0.055

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 35 28 27 32 46 29 31

N.S.

1 1.00 0.90 0.72 0.69 0.82 1.18 0.74 0.79

time (sec)

N/A 0.171 0.032 0.281 0.189 0.243 0.630 0.274 7.001

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 35 28 27 32 46 29 31

N.S.

1 1.00 0.90 0.72 0.69 0.82 1.18 0.74 0.79

time (sec)

N/A 0.172 0.028 0.253 0.203 0.243 0.434 0.266 0.045

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 35 28 27 30 46 29 31

N.S.

1 1.00 0.90 0.72 0.69 0.77 1.18 0.74 0.79

time (sec)

N/A 0.166 0.033 0.244 0.186 0.243 0.583 0.278 0.045

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 35 28 27 29 44 29 31

N.S.

1 1.00 0.95 0.76 0.73 0.78 1.19 0.78 0.84

time (sec)

N/A 0.170 0.030 0.259 0.196 0.249 0.266 0.303 6.976

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 35 30 27 29 44 29 31

N.S.

1 1.00 0.95 0.81 0.73 0.78 1.19 0.78 0.84

time (sec)

N/A 0.168 0.037 0.082 0.186 0.258 0.361 0.273 7.024

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 34 30 27 28 46 29 31

N.S.

1 1.00 0.87 0.77 0.69 0.72 1.18 0.74 0.79

time (sec)

N/A 0.172 0.039 0.086 0.186 0.249 0.393 0.271 0.044

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 35 30 27 29 42 29 30

N.S.

1 1.00 0.95 0.81 0.73 0.78 1.14 0.78 0.81

time (sec)

N/A 0.168 0.037 0.084 0.215 0.266 0.479 0.270 0.043

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 59 52 51 56 80 53 51

N.S.

1 1.00 0.94 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.191 0.052 4.195 0.185 0.274 1.577 0.273 6.979

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 60 52 51 56 80 53 51

N.S.

1 1.00 0.95 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.191 0.059 4.140 0.183 0.263 1.131 0.277 0.051

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 60 52 51 56 80 53 51

N.S.

1 1.00 0.95 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.195 0.057 4.055 0.210 0.244 0.768 0.293 0.050

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 59 52 51 54 80 53 51

N.S.

1 1.00 0.94 0.83 0.81 0.86 1.27 0.84 0.81

time (sec)

N/A 0.193 0.059 4.169 0.196 0.245 0.853 0.263 0.055

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 59 52 51 53 78 53 51

N.S.

1 1.00 0.97 0.85 0.84 0.87 1.28 0.87 0.84

time (sec)

N/A 0.190 0.053 4.156 0.195 0.253 0.518 0.275 0.047

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 59 54 51 53 78 53 51

N.S.

1 1.00 0.97 0.89 0.84 0.87 1.28 0.87 0.84

time (sec)

N/A 0.195 0.074 4.194 0.193 0.252 0.620 0.280 0.048

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 59 54 51 53 80 53 51

N.S.

1 1.00 0.94 0.86 0.81 0.84 1.27 0.84 0.81

time (sec)

N/A 0.192 0.060 4.217 0.204 0.258 0.722 0.275 0.050

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 59 54 51 53 76 53 51

N.S.

1 1.00 0.97 0.89 0.84 0.87 1.25 0.87 0.84

time (sec)

N/A 0.197 0.068 4.335 0.199 0.263 0.881 0.279 0.052

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 81 76 73 78 114 77 69

N.S.

1 1.00 0.95 0.89 0.86 0.92 1.34 0.91 0.81

time (sec)

N/A 0.227 0.070 4.533 0.184 0.425 2.504 0.286 6.939

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 91 76 73 78 114 77 69

N.S.

1 1.00 1.07 0.89 0.86 0.92 1.34 0.91 0.81

time (sec)

N/A 0.220 0.077 4.309 0.188 0.262 1.859 0.281 0.030

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 81 76 73 78 114 77 69

N.S.

1 1.00 0.95 0.89 0.86 0.92 1.34 0.91 0.81

time (sec)

N/A 0.215 0.087 4.157 0.202 0.281 1.352 0.272 0.033

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 80 76 73 76 114 77 69

N.S.

1 1.00 0.94 0.89 0.86 0.89 1.34 0.91 0.81

time (sec)

N/A 0.214 0.072 4.222 0.255 0.257 1.271 0.280 0.032

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 80 76 73 75 112 77 69

N.S.

1 1.00 0.96 0.92 0.88 0.90 1.35 0.93 0.83

time (sec)

N/A 0.219 0.071 4.225 0.247 0.251 1.011 0.261 0.031

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 83 78 73 75 112 77 69

N.S.

1 1.00 1.00 0.94 0.88 0.90 1.35 0.93 0.83

time (sec)

N/A 0.212 0.094 4.225 0.210 0.301 1.108 0.271 0.034

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 77 78 73 75 112 77 69

N.S.

1 1.00 0.91 0.92 0.86 0.88 1.32 0.91 0.81

time (sec)

N/A 0.220 0.069 4.229 0.226 0.278 1.184 0.281 0.036

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 78 78 73 75 110 77 69

N.S.

1 1.00 0.94 0.94 0.88 0.90 1.33 0.93 0.83

time (sec)

N/A 0.218 0.088 4.242 0.221 0.266 1.409 0.275 0.035

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 70 67 55 58 143 428 64 111

N.S.

1 0.96 0.92 0.75 0.79 1.96 5.86 0.88 1.52

time (sec)

N/A 0.226 0.108 4.281 0.298 0.286 62.164 0.270 7.023

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

288 269 172 206 295 1289 605 289 1933

N.S.

1 0.93 0.60 0.72 1.02 4.48 2.10 1.00 6.71

time (sec)

N/A 0.505 0.297 4.361 0.316 0.296 29.283 0.300 7.334

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

270 263 153 190 212 1603 581 260 1640

N.S.

1 0.97 0.57 0.70 0.79 5.94 2.15 0.96 6.07

time (sec)

N/A 0.470 0.304 4.317 0.323 0.309 11.674 0.628 7.262

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 53 40 39 108 381 39 93

N.S.

1 1.00 1.00 0.75 0.74 2.04 7.19 0.74 1.75

time (sec)

N/A 0.193 0.084 4.447 0.299 0.283 4.678 0.272 7.051

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

268 251 152 190 278 1245 558 280 1915

N.S.

1 0.94 0.57 0.71 1.04 4.65 2.08 1.04 7.15

time (sec)

N/A 0.451 0.319 4.172 0.303 0.296 5.311 0.288 7.344

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

268 261 156 191 212 1636 561 257 1700

N.S.

1 0.97 0.58 0.71 0.79 6.10 2.09 0.96 6.34

time (sec)

N/A 0.475 0.360 4.172 0.287 0.276 9.206 0.690 7.292

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 53 40 39 120 371 39 102

N.S.

1 1.00 1.00 0.75 0.74 2.26 7.00 0.74 1.92

time (sec)

N/A 0.202 0.082 4.108 0.275 0.336 19.499 0.268 0.110

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

270 253 158 191 278 1290 586 280 2023

N.S.

1 0.94 0.59 0.71 1.03 4.78 2.17 1.04 7.49

time (sec)

N/A 0.450 0.304 4.327 0.280 0.341 47.882 0.284 7.383

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 77 65 68 222 0 68 116

N.S.

1 1.00 0.81 0.68 0.72 2.34 0.00 0.72 1.22

time (sec)

N/A 0.243 0.158 4.144 0.277 0.301 0.000 0.292 7.081

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

312 294 181 216 311 1426 1658 313 1884

N.S.

1 0.94 0.58 0.69 1.00 4.57 5.31 1.00 6.04

time (sec)

N/A 0.512 0.990 4.223 0.339 0.281 167.741 0.295 7.347

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

289 287 169 213 235 1773 1885 288 1578

N.S.

1 0.99 0.58 0.74 0.81 6.13 6.52 1.00 5.46

time (sec)

N/A 0.490 0.815 3.997 0.290 0.289 112.409 0.649 7.291

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 71 61 61 190 1042 63 115

N.S.

1 1.00 1.00 0.86 0.86 2.68 14.68 0.89 1.62

time (sec)

N/A 0.219 0.142 4.143 0.276 0.265 67.820 0.288 7.020

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

289 277 168 213 301 1417 1632 302 1922

N.S.

1 0.96 0.58 0.74 1.04 4.90 5.65 1.04 6.65

time (sec)

N/A 0.486 0.752 4.271 0.310 0.323 90.341 0.299 7.321

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

318 305 184 216 240 1788 2200 284 1757

N.S.

1 0.96 0.58 0.68 0.75 5.62 6.92 0.89 5.53

time (sec)

N/A 0.518 0.841 4.504 0.298 0.373 151.557 0.681 7.170

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 79 66 67 232 0 66 139

N.S.

1 1.00 0.82 0.69 0.70 2.42 0.00 0.69 1.45

time (sec)

N/A 0.239 0.161 4.042 0.287 0.429 0.000 0.277 6.797

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

318 297 188 217 312 1463 0 313 2080

N.S.

1 0.93 0.59 0.68 0.98 4.60 0.00 0.98 6.54

time (sec)

N/A 0.526 0.774 4.282 0.301 0.427 0.000 0.292 7.183

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 92 81 96 314 0 84 133

N.S.

1 1.00 0.88 0.78 0.92 3.02 0.00 0.81 1.28

time (sec)

N/A 0.247 0.236 4.384 0.294 0.388 0.000 0.279 7.018

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

327 307 192 234 341 1618 0 328 1944

N.S.

1 0.94 0.59 0.72 1.04 4.95 0.00 1.00 5.94

time (sec)

N/A 0.528 1.076 4.357 0.285 0.398 0.000 0.291 7.392

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

327 317 193 235 271 1959 0 314 1672

N.S.

1 0.97 0.59 0.72 0.83 5.99 0.00 0.96 5.11

time (sec)

N/A 0.523 1.048 4.186 0.297 0.429 0.000 0.652 7.347

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 92 82 96 313 0 84 136

N.S.

1 1.00 0.88 0.79 0.92 3.01 0.00 0.81 1.31

time (sec)

N/A 0.246 0.224 4.195 0.280 0.288 0.000 0.276 7.158

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

321 306 189 233 336 1588 0 322 1952

N.S.

1 0.95 0.59 0.73 1.05 4.95 0.00 1.00 6.08

time (sec)

N/A 0.514 1.021 4.182 0.295 0.418 0.000 0.295 0.453

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

351 334 208 236 273 1934 0 306 1786

N.S.

1 0.95 0.59 0.67 0.78 5.51 0.00 0.87 5.09

time (sec)

N/A 0.549 1.032 4.124 0.282 0.366 0.000 0.685 7.377

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 125 102 86 100 347 0 88 163

N.S.

1 0.97 0.79 0.67 0.78 2.69 0.00 0.68 1.26

time (sec)

N/A 0.277 0.230 4.221 0.296 0.308 0.000 0.270 7.179

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

351 326 209 237 346 1608 0 334 2109

N.S.

1 0.93 0.60 0.68 0.99 4.58 0.00 0.95 6.01

time (sec)

N/A 0.551 1.068 4.391 0.303 0.284 0.000 0.300 7.474

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 107 75 67 118 99 219 104 154

N.S.

1 1.04 0.73 0.65 1.15 0.96 2.13 1.01 1.50

time (sec)

N/A 0.251 0.091 4.478 0.214 0.344 0.395 0.286 7.063

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 77 56 49 84 75 168 73 114

N.S.

1 1.05 0.77 0.67 1.15 1.03 2.30 1.00 1.56

time (sec)

N/A 0.231 0.068 4.087 0.201 0.250 0.298 0.265 7.056

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 50 34 31 49 50 117 44 44

N.S.

1 1.09 0.74 0.67 1.07 1.09 2.54 0.96 0.96

time (sec)

N/A 0.195 0.045 4.110 0.198 0.255 0.213 0.271 6.976

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 65 61 50 67 125 87 61 80

N.S.

1 1.02 0.95 0.78 1.05 1.95 1.36 0.95 1.25

time (sec)

N/A 0.193 0.111 4.106 0.279 0.429 4.654 0.289 7.148

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 79 65 56 107 143 134 68 76

N.S.

1 0.94 0.77 0.67 1.27 1.70 1.60 0.81 0.90

time (sec)

N/A 0.210 0.152 4.359 0.300 0.280 11.828 0.264 7.361

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 85 78 65 158 172 160 120 93

N.S.

1 0.97 0.89 0.74 1.80 1.95 1.82 1.36 1.06

time (sec)

N/A 0.204 0.206 4.216 0.290 0.284 33.568 0.278 7.596

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

303 293 89 349 0 91 83 0 0

N.S.

1 0.97 0.29 1.15 0.00 0.30 0.27 0.00 0.00

time (sec)

N/A 0.345 5.486 4.421 0.000 0.104 1.170 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

268 264 75 325 0 67 82 0 0

N.S.

1 0.99 0.28 1.21 0.00 0.25 0.31 0.00 0.00

time (sec)

N/A 0.281 5.575 4.387 0.000 0.084 1.022 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

269 266 81 317 0 57 85 0 0

N.S.

1 0.99 0.30 1.18 0.00 0.21 0.32 0.00 0.00

time (sec)

N/A 0.291 6.082 4.411 0.000 0.090 1.216 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

272 266 80 328 0 64 94 0 0

N.S.

1 0.98 0.29 1.21 0.00 0.24 0.35 0.00 0.00

time (sec)

N/A 0.301 10.093 4.469 0.000 0.088 1.343 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

305 297 80 352 0 89 97 0 0

N.S.

1 0.97 0.26 1.15 0.00 0.29 0.32 0.00 0.00

time (sec)

N/A 0.313 10.093 4.557 0.000 0.083 1.532 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

581 577 91 503 0 102 83 0 0

N.S.

1 0.99 0.16 0.87 0.00 0.18 0.14 0.00 0.00

time (sec)

N/A 0.570 5.816 4.638 0.000 0.082 1.182 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

548 547 75 479 0 76 83 0 0

N.S.

1 1.00 0.14 0.87 0.00 0.14 0.15 0.00 0.00

time (sec)

N/A 0.562 5.555 4.607 0.000 0.081 1.103 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

545 545 81 469 0 64 85 0 0

N.S.

1 1.00 0.15 0.86 0.00 0.12 0.16 0.00 0.00

time (sec)

N/A 0.579 6.051 4.352 0.000 0.088 1.249 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

546 544 80 480 0 70 92 0 0

N.S.

1 1.00 0.15 0.88 0.00 0.13 0.17 0.00 0.00

time (sec)

N/A 0.546 10.090 4.249 0.000 0.092 1.366 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

581 575 80 504 0 97 97 0 0

N.S.

1 0.99 0.14 0.87 0.00 0.17 0.17 0.00 0.00

time (sec)

N/A 0.576 10.091 4.332 0.000 0.090 1.441 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

614 605 80 530 0 123 97 0 0

N.S.

1 0.99 0.13 0.86 0.00 0.20 0.16 0.00 0.00

time (sec)

N/A 0.610 10.097 4.489 0.000 0.078 1.651 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 107 80 68 118 124 267 104 206

N.S.

1 1.04 0.78 0.66 1.15 1.20 2.59 1.01 2.00

time (sec)

N/A 0.251 0.100 4.310 0.223 0.271 0.584 0.269 6.990

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 77 56 49 84 99 216 73 211

N.S.

1 1.05 0.77 0.67 1.15 1.36 2.96 1.00 2.89

time (sec)

N/A 0.220 0.074 4.338 0.210 0.245 0.424 0.268 6.833

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 50 34 31 49 73 165 44 150

N.S.

1 1.09 0.74 0.67 1.07 1.59 3.59 0.96 3.26

time (sec)

N/A 0.193 0.045 4.183 0.198 0.245 0.322 0.274 6.914

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 83 85 66 80 172 109 80 131

N.S.

1 1.02 1.05 0.81 0.99 2.12 1.35 0.99 1.62

time (sec)

N/A 0.203 0.147 4.204 0.284 0.261 10.221 0.267 6.906

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 98 81 79 134 169 223 103 111

N.S.

1 0.89 0.74 0.72 1.22 1.54 2.03 0.94 1.01

time (sec)

N/A 0.220 0.163 4.396 0.297 0.265 14.415 0.268 7.368

[next] [prev] [prev-tail] [front] [up]